Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Psychopaths are the bugbears of moral philosophy. They are often used as examples of perfectly rational people who are nonetheless willing to do great moral wrong without regret; hence the disorder has received the epithet “moral insanity” (Pritchard 1835). But whereas philosophers have had a great deal to say about psychopaths’ glaring and often horrifying lack of moral conscience, their aesthetic capacities have received hardly any attention, and are generally assumed to be intact or even enhanced. Popular culture often portrays (...) psychopaths in ways that suggest a great gap between their amorality and their aesthetic sensitivity. In The Silence of the Lambs (Jonathan Demme, 1991), Hannibal Lecter appreciates fine art, fashion, and wine, while he eats his way through his enemies. His real-life counterparts, however, do not demonstrate the same sensitivities. There is no evidence that psychopaths are capable of real aesthetic appreciation, and some evidence that they are not. In this paper, we set out the limited evidence for the psychopath’s deficient aesthetic sensitivity. The best explanations of what the psychopath lacks turn out to implicate abilities that are also thought to be central to moral thought and action: an impaired capacity for empathizing with others and deficient ability to take a disinterested attitude towards things (socalled distance). We endorse the latter explanation. Thinking about what underlies the psychopath’s deficient aesthetic understanding turns out to throw light on a difficult problem: the connection between ethics and aesthetics. (shrink)

Résumé Si l’absence de moralité des psychopathes a été largement étudiée, il existe peu de recherches sur leurs capacités esthétiques. Pourtant, beaucoup d’études cliniques de cas montrent qu’ils présentent un grave déficit dans ce domaine. Cet article se propose d’en chercher les causes. Il analyse les forces et les limites de l’hypothèse d’un manque d’empathie pour expliquer ces carences esthétiques, et montre pourquoi l’hypothèse d’un manque de distance psychique se révèle plus féconde. Celle-ci permet en outre de comprendre le lien (...) de l’esthétique et de l’éthique par leur filiation commune : elles ont pour socle commun la capacité à prendre de la distance par rapport à des intérêts étroitement égoïstes. (shrink)

This volume, a lightly-edited version of Professor Samuel Scolnicov’s 1974 Ph.D. thesis, is a fitting tribute to his impressive career. It will perhaps be most useful for those interested in better understanding Scolnicov’s work and his views on Plato as a whole, not least for the comprehensive list of his publications that requires a full twelve pages of print. Scholars with an interest in Plato’s method of hypothesis will also find some useful remarks on key passages in the Meno, Phaedo, (...) and Republic as well as on Greek mathematical analysis.Illuminating other aspects of Scolnicov’s work is clearly part of the intention behind enabling broader access to this study. As Harold Tarrant notes in his introduction... (shrink)

Review of Daoist Identity. History, Lineage, and Ritual, by Livia Kohn and Harold D. Roth.

This chapter contains sections titled: Modern Legal Theory and the Impact of Realism Policy Science Legal Process References.

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

In this paper I explore Phyllis Rooney’s 2003 chapter, “Feminist Epistemology and Naturalized Epistemology: An Uneasy Alliance,” taking guidance from her critique of naturalized epistemology in pursuing my own analysis of another uneasy alliance: that between feminist epistemology and social epistemology. Investigating some of the background assumptions at work in prominent conceptions of social epistemology, I consider recent analyses of "epistemic bubbles" to ask how closely such analyses are aligned with ongoing research in feminist epistemology. I argue that critical feminist (...) insights in political philosophy are called for here, especially those that focus on multiple politically salient relationships and also emphasize practices of personal transformation as inseparably bound up with broader movements for social transformation. Insofar as feminist epistemology continues to carry another world in its heart, I argue that it will continue to rest uneasily with any effort to align it with—let alone subsume it within—the still emerging field of social epistemology. (shrink)

Context: The majority of contemporary enactivist work is influenced by the philosophical biology of Hans Jonas. Jonas credits all living organisms with experience that involves particular “existential” structures: nascent forms of concern for self-preservation and desire for objects and outcomes that promote well-being. We argue that Jonas’s attitude towards living systems involves a problematic anthropomorphism that threatens to place enactivism at odds with cognitive science, and undermine its legitimate aims to become a new paradigm for scientific investigation and understanding of (...) the mind. Problem: Enactivism needs to address the tension between its Jonasian influences and its aspirations to become a new paradigm for cognitive science. By relying on Jonasian phenomenology, contemporary enactivism obscures alternative ways in which phenomenology can be more smoothly integrated with cognitive science. Method: We outline the historical relationship between enactivism and phenomenology, and explain why anthropomorphism is problematic for a research program that aspires to become a new paradigm for cognitive science. We examine the roots of Jonas’s existential interpretation of biological facts, and describe how and why Jonas himself understood his project as founded on an anthropomorphic assumption that is incompatible with a crucial methodological assumption of scientific enquiry: the prohibition of unexplained natural purposes. We describe the way in which phenomenology can be integrated into Maturana’s autopoietic theory, and use this as an example of how an alternative, non-anthropomorphic science of the biological roots of cognition might proceed. Results: Our analysis reveals a crucial tension between Jonas’s influence on enactivism and enactivism’s paradigmatic aspirations. This suggests the possibility of, and need to investigate, other ways of integrating phenomenology with cognitive science that do not succumb to this tension. Implications: In light of this, enactivists should either eliminate the Jonasian inference from properties of our human experience to properties of the experience of all living organisms, or articulate an alternative conception of scientific enquiry that can tolerate the anthropomorphism this inference entails. The Maturanian view we present in the article’s final section constitutes a possible framework within which enactivist tools and concepts can be used to understand cognition and phenomenology, and that does not involve a problematic anthropomorphism. Constructivist content: Any constructivist approach that aims for integration with current scientific practice must either avoid the type of anthropomorphic inference on which Jonas bases his work, or specify a new conception of scientific enquiry that renders anthropomorphism unproblematic. (shrink)

The practice of Emergency Management in Michigan raises anew the question of whose knowledge matters to whom and for what reasons, against the background of what projects, challenges, and systemic imperatives. In this paper, I offer a historical overview of state intervention laws across the United States, focusing specifically on Michigan’s Emergency Manager laws. I draw on recent analyses of these laws to develop an account of a phenomenon that I call epistemic redlining, which, I suggest, is a form of (...) group-based credibility discounting not readily countenanced by existing, ‘culprit-based’ accounts of epistemic injustice. I argue that epistemic redlining plays a crucial role in ongoing projects of racialized subordination and dispossession in Michigan, and that such discounting tends to have structural causes that can be difficult to identify and uproot. Contrary to the general thrust of recent work on the topic, I argue that epistemic redlining ought to be understood as a form of epistemic injustice. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

In this paper I engage interdisciplinary conversation on inaction as the dominant response to climate change, and develop an analysis of the specific phenomenon of complacency through a critical-feminist lens. I suggest that Chris Cuomo's discussion of the “insufficiency” problem and Susan Sherwin's call for a “public ethics” jointly point toward particularly promising harm-reduction strategies. I draw upon and extend their work by arguing that extant philosophical accounts of complacency are inadequate to the task of sorting out what it means (...) to be complacent on climate change. I offer a sketch for an alternative account, which I take to be a start in the direction of mapping out a diverse array of “motivational vices” that need to be named, grappled with, and remedied. (shrink)

When confronted with especially complex ecological and social problems such as climate change, how are we to think about responsibility for collective inaction? Social and political philosophers have begun to consider the complexities of acting collectively with a view to creating more just and sustainable societies. Some have recently turned their attention to the question of whether more or less formally organized groups can ever be held morally responsible for not acting collectively, or else for not organizing themselves into groups (...) capable of so doing. In this paper I argue that several questionable assumptions have shaped the character and scope of inquiry to this point, precluding us from grappling with a range of important questions concerning the epistemic dimensions of collective inaction. I offer an overview of recent conversation concerning collective inaction, advance a critique of the picture of responsibility that has emerged from this conversation, and propose an alternative approach to th... (shrink)

One branch of bioethics assumes that mainly agents of the state are responsible for public health. Following Susan Sherwin’s relational ethics, we suggest moving away from a “state-centered” approach toward a more thoroughly relational approach. Indeed, certain agents must be reconstituted in and through shifting relations with others, complicating discussions of responsibility for public health. Drawing on two case studies—the health politics and activism of the Black Panther Party and the work of the Common Ground Collective in post-Katrina New Orleans—we (...) argue for the need to attend more carefully to the limitations of states and state-driven public health programs. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

Face-to-face learning engagement has been suspended due to the health crisis that affected the whole world. This led to the adaptation of modular distance learning to continue delivering quality education. As the transition continues, its effectiveness has been frequently assessed. The key purpose of this study is to determine the relationship between the level of implementation of modular distance learning and English Writing Proficiency among the senior high school students in Saint Joseph College Maasin City School year 2021-2022. The study (...) employed a descriptive correlational design with 39 purposively chosen respondents. The main tools used in gathering the data were questionnaires, learning modules, and rubrics. Findings revealed that the implementation of modular distance learning (MDL) has an overall very satisfactory rating based on the perception of the students. The student’s perception of the implementation of modular distance learning and their writing proficiency is significantly related. Moreover, it revealed that students had difficulties in finding supplementary learning materials and educational support from home. The researcher recommends a set of guidelines for the successful and effective implementation of modular distance learning as the output of the study. (shrink)

This article examines the thoughts and works of Catholic philosopher Jacques Maritain and evangelical philosopher Norman Geisler in light of their understanding of Thomas Aquinas’s view of faith and reason.

Some researchers and autistic activists have recently suggested that because some ‘autism-related’ behavioural atypicalities have a function or purpose they may be desirable rather than undesirable. Examples of such behavioural atypicalities include hand-flapping, repeatedly ordering objects (e.g., toys) in rows, and profoundly restricted routines. A common view, as represented in the Diagnostic and Statistical Manual of Mental Disorders (DSM) IV-TR (APA, 2000), is that many of these behaviours lack adaptive function or purpose, interfere with learning, and constitute the non-social behavioural (...) dysfunctions of those disorders making up the Autism Spectrum. As the DSM IV-TR continues to be the reference source of choice for professionals working with individuals with psychiatric difficulties, its characterization of the Autism Spectrum holds significant sway. We will suggest Extended Mind and Enactive Cognition Theories, which theorize that mind (or cognition) is embodied and environmentally embedded, as coherent conceptual and theoretical spaces within which to investigate the possibility that certain repetitive behaviours exhibited by autistics possess functions or purposes that make them desirable. As lenses through which to re-examine ‘autism-related’ behavioral atypicalities, these theories not only open up explanatory possibilities underdeveloped in the research literature, but also cohere with how some autistics describe their own experience. Our position navigates a middle way between the view of autism as understood in terms of impairment, deficit and dysfunction and one that seeks to de-pathologize the Spectrum. In so doing we seek to contribute to a continuing dialogue between researchers, clinicians and self- or parent advocates. (shrink)

The evidence is overwhelming that members of particularly wealthy and industry-owning segments of Western societies have much larger carbon footprints than most other humans, and thereby contribute far more than their “fair share” to the enormous problem of climate change. Nonetheless, in this paper we shall counsel against a strategy focused primarily on blaming and shaming and propose, instead, a change in the ethical conversation about climate change. We recommend a shift in the ethical framework from a focus on the (...) role of individual agents and a conversation about guilt; in its place, we propose a relational approach to public health ethics that is centered around the idea of relational solidarity. We begin by briefly reviewing the most common—and woefully inadequate—approach in the West to reducing emissions and responding to the health-related impacts of climate change. We then go on to propose a relational approach to public health ethics as an alternative ethical framework that better fits the moral problems associated with climate change and holds promise for a more meaningful response. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In this chapter I offer a critique of the received way of thinking about responsibility for collective inaction and propose an alternative approach that takes as its point of departure the epistemic agency exhibited by people navigating impossible situations together. One such situation is becoming increasingly common in the context of climate change: so-called “natural” disasters wreaking havoc on communities—flooding homes, collapsing infrastructures, and straining the capacities of existing organizations to safeguard lives and livelihoods. What happens when philosophical reflection begins (...) here—in places where the institutions and practices that have emerged over the last century seem incapable of addressing the problems communities face now, and where people find themselves turning to one another for the sake of their own survival? (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

A model-theoretic approach to the semantics of set-theoretic discourse.

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.